Axiomatizing GSOS with termination
نویسندگان
چکیده
منابع مشابه
Axiomatizing GSOS with Termination
We discuss a combination of GSOS-type structural operational semantics with explicit termination, that we call the tagh-format (tagh being short for termination and GSOS hybrid). The tagh-format distinguishes between transition and termination rules, but allows besides active and negative premises as in GSOS,. also for, what is called terminating and passive arguments. We extend the result of A...
متن کاملAxiomatizing GSOS with Predicates
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique proposed by Aceto, Bloom and Vaandrager for the automatic generation of ground-complete axiomatizations of bisimilarity over GSOS systems. Our procedure is implemented in a tool that receives SOS specifications as input and...
متن کاملCPO Models for GSOS Languages Part I: Compact GSOS Languages
In this paper, we present a general way of giving denotational semantics to a class of languages equipped with an operational semantics that fits the GSOS format of Bloom, Istrail and Meyer. The canonical model used for this purpose will be Abramsky’s domain of synchronization trees, and the denotational semantics automatically generated by our methods will be guaranteed to be fully abstract wi...
متن کاملTermination of Pregnancy with Prostaglandin
تاثیر تزریق داخل رحمی apGF2 و تزریق داخل وریدی اکسی توسین به عنوان دو روش درمانی در ختم حاملگی، در زنانی که در سه ماهه دوم بارداری دچار پارگی کیسه آب بودند، با یک دیگر مقایسه شده اند.
متن کاملAxiomatizing Prefix Iteration with Silent Steps
Prefix iteration is a variation on the original binary version of the Kleene star operation P Q, obtained by restricting the first argument to be an atomic action. The interaction of prefix iteration with silent steps is studied in the setting of Milner’s basic CCS. Complete equational axiomatizations are given for four notions of behavioural congruence over basic CCS with prefix iteration, viz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2004
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2004.03.001